In-system programming - PDFSEARCH.IO - Document Search Engine

In-system programming
Results: 1455

#	Item
161 $DM818 - Parallel Computing, Weekly Notes, Week 38 Chapter 1 of \Parallel Computer Architecture: A Hardware/Software Approach$	DM818 - Parallel Computing, Weekly Notes, Week 38 Chapter 1 of \Parallel Computer Architecture: A Hardware/Software Approach" by Culler et al. can be found in the Blackboard system for additional reading on \Programmin Add to Reading List Source URL: www.imada.sdu.dk Language: English - Date: 2009-09-07 08:07:41 Numerical linear algebra Parallel computing Application programming interfaces OpenMP Thread Matrix multiplication Lis Software Computing Algebra
162	The Extensibility Framework in Microsoft StreamInsight Mohamed Ali1, Badrish Chandramouli2, Jonathan Goldstein1, Roman Schindlauer1 1 Microsoft Corporation Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-01-28 12:27:48 Graphical user interfaces Application programming interfaces Query languages Time Timestamp Window function Transmission Control Protocol X Window System NeWS Software System software Computing
163	Spinning Into Control Bell Labs’ verification tool: coming to a compiler near you? errors. In one case, the programmers said, “We’ll fix it, but it’s so unlikely to happen that we’re really wasting our time.” Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:26 Compiler construction SPIN model checker Software bug Gerard J. Holzmann Holzmann Programming tool Embedded system Compiler Software Formal methods Computing
164	Libraries < PAGE >1Chapter XX: Libraries Every modern linker handles libraries, collections of object files that are included as needed in a linked program. In this chapter we cover traditional statically linked librari Add to Reading List Source URL: www.iecc.com Language: English - Date: 1999-06-14 23:31:35 Compiler construction Programming language implementation Archive formats C programming language Library COFF C++ Object file Linker Computing Software System software
165	The Impact of Meta-Tracing on VM Design and Implementation Carl Friedrich Bolza , Laurence Trattb a b Add to Reading List Source URL: tratt.net Language: English - Date: 2013-01-14 15:53:31 Cross-platform software Virtual machines Programming language implementation Scripting languages Java virtual machine PyPy Interpreter Just-in-time compilation Bytecode Software Computing System software
166	IN DULCI JUBILO, INC. Latin: “In Sweet Joy” P.O. BoxBerkeley, CaliforniaPhone: Add to Reading List Source URL: www.indulcijubilo.org Language: English Project management In dulci jubilo Ada United States Postal Service Type system Computing Software engineering Programming language theory
167	Modularly Typesafe Interface Dispatch in JPred Add to Reading List Source URL: www.frostnet.net Language: English - Date: 2008-01-24 15:54:27 Object-oriented programming Method Multiple dispatch Polymorphism Java programming language Dynamic dispatch Interface Common Lisp Object System Java Software engineering Computing Computer programming
168	Development and Evaluation of LAV: an SMT-Based Error Finding Platform? System Description Milena Vujoˇsevi´c-Janiˇci´c1 and Viktor Kuncak2 1 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-18 09:02:21 Control flow Constraint programming Electronic design automation Logic in computer science Satisfiability Modulo Theories LLVM For loop C Static single assignment form Computing Software engineering Computer programming
169	A circled number step number on the diagrams means there are written instructions for that step. Please read them before folding. The folding sequence seems very mathematical. In reality most location points are not t Add to Reading List Source URL: www.papierfalten.de Language: English - Date: 2006-02-02 07:15:23 Fold Software engineering Computing Computer programming Paper folding Origami Structural geology Yoshizawa-Randlett system
170	There is a known issue when initially opening the UWStudent Remote Lab System using Chrome (v42): http://microlab.uwyo.edu/uwsremote/ Chrome does not support the Java plug-in for the Remote Lab connection by default. NPA Add to Reading List Source URL: microlab.uwyo.edu Language: English - Date: 2015-04-30 13:02:20 Portable software Cloud clients NPAPI Plug-in Software Application programming interfaces Google Chrome